1. ......................
پدیدآورنده : Colloquium on Trees in Algebra and Programming )DAAP58(, edited by Hartmut Ehrig... )et al.(
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Development - Mathematics - Congresses ، Computer software,Congresses ، Trees )Graph theory(,Congresses ، Algebra,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
76
.
D47
I57
1985
vol
.
1
2. A beginner's guide to R /
پدیدآورنده : by Alain F. Zuur, Elena N. Ieno, Erik H.W.G. Meesters.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : R (Computer program language),Science-- Statistical methods, Software.,Statistics-- Data processing, Software.,MATHEMATICS-- Probability & Statistics-- General.,R (Computer program language),R (Computer program language),Science-- Statistical methods.,Science-- Statistical methods.,Statistics-- Data processing.,Statistics-- Data processing.
رده :
QA276
.
R3
Z88
2009
3. A beginner's guide to R /
پدیدآورنده : by Alain F. Zuur, Elena N. Ieno, Erik H.W.G. Meesters.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : R (Computer program language),Science-- Statistical methods, Software.,Statistics-- Data processing, Software.,MATHEMATICS-- Probability & Statistics-- General.,R (Computer program language),Science-- Statistical methods.,Statistics-- Data processing.
رده :
QA276
.
45
.
R3
Z88
2009eb
4. Algebraic Complexity Theory
پدیدآورنده : by Peter Bürgisser, Michael Clausen, Mohammad Amin Shokrollahi.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algorithms.,Combinatorics.,Computer software.,Geometry, Algebraic.,Group theory.,Mathematics.,Matrix theory.
5. Algorithms for Parallel Processing
پدیدآورنده : edited by Michael T. Heath, Abhiram Ranade, Robert S. Schreiber.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Combinatorics.,Computer software.,Mathematics.,Numerical analysis.
6. An Introduction to Quantum Computing Algorithms
پدیدآورنده : by Arthur O. Pittenger.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer software.,Mathematics.,Quantum theory.
7. An introduction to modern econometrics using Stata /
پدیدآورنده : Christopher F. Baum.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Stata.,Stata.,Econometrics-- Computer programs.,Mathematics [MESH],Mathematics.,Software [MESH],Software.,Dataprocessing.,Econometrics-- Computer programs.,Econometrie.,Econométrie.,Logiciels.,Software.,Traitement électronique des données.
رده :
HB141
.
B38
2006
8. Approximation algorithms and semidefinite programmin
پدیدآورنده : / Bernd Geartner, Jierai Matouesek
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Approximation algorithms,Semidefinite programming,Mathematics,Information theory,Computer software,Computational complexity,Algorithms,Mathematical optimization,Applications of Mathematics,Theory of Computation,Algorithm Analysis and Problem Complexity,Discrete Mathematics in Computer Science,Optimization
رده :
QA76
.
9
.
A43G37
2012
9. Bidirectional transformations :
پدیدآورنده : Jeremy Gibbons, Perdita Stevens (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Transformations (Mathematics), Congresses.,Business & Economics-- Information Management.,Computer programming-- software development.,Computers-- Database Management-- General.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Databases.,Information architecture.,Software Engineering.,Transformations (Mathematics)
رده :
QA601
10. Building Innovation Pipelines through Computer-Aided Innovation
پدیدآورنده : edited by Denis Cavallucci, Roland Guio, Gaetano Cascini.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Computer simulation.,Computer-aided design.,Engineering mathematics.,Software engineering.
11. Categories for software engineering
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer software ; Development. ; Categories (Mathematics) ;
12. Categories for software engineering
پدیدآورنده : José Luiz Fiadeiro
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Categories (Mathematics),Computer software-- Development
13. Categories for software engineering
پدیدآورنده : Jose Luiz Fiadeiro
کتابخانه: Central Library and Documentation Center of Shahid Motahari of Vali-e-Asr University (Kerman)
موضوع : Computer software- Development,Categories )Mathematics(
رده :
QA
76
.
76
.
D47
,
F53
2005
14. Categories for software engineering
پدیدآورنده : / Jose Luiz Fiadeiro
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Computer software- Development,Categories (Mathematics)
رده :
QA76
.
76
.
D47
,
F53
2005
15. Cellular automata and discrete complex systems :
پدیدآورنده : Jarkko Kari, Martin Kutrib, Andreas Malcher (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Cellular automata, Congresses,Computer science-- Mathematics, Congresses,Software
رده :
QA267
.
5
.
C45
16. Certified Programs and Proofs :
پدیدآورنده : edited by Chris Hawblitzel, Dale Miller.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science -- Mathematics -- Congresses.,Computer software -- Congresses.,Formal methods (Computer science) -- Verification -- Congresses.
رده :
QA76
.
9
.
M35
E358
2012
17. Coalgebraic methods in computer science
پدیدآورنده : Dirk Pattinson, Lutz Schröder (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics, Congresses,Computer software-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
W67
2012eb
18. Coalgebraic methods in computer science :
پدیدآورنده : Corina Cîrstea (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics, Congresses.,Computer software-- Mathematics, Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA76
.
9
.
M35
19. Collegium Logicum.
پدیدآورنده : Kurt Gödel Society.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer software.,Mathematics.
20. Combinatorial Algorithms
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Mathematics. ; Data structures (Computer science). ; Application software. ; Computer communication systems. ; Computer graphics. ; Algorithms. ; Discrete Mathematics in Computer Science. ; -Computer science
